prove the following